formalized model

形式化模型